The Geometry Tutor

The tutor for doing proofs in high school geometry consists of a cot of ideal and buggy rules (IRR), a tutor, and an interface. The IBR is responsible for eh iuer t l y computing matcher, to all the correct and incorrect rules The interface is responsible for interacting with the student and graphically representing the proof. The tutor is responsible for directing the IBR and interface to achieve a current tutorial strategy. The strategy wo employ involves tracing the student's behavior in terms of what rules in the IBR it instantiates, correcting the student when behavior deviates below a minimum threshold, and helping the student over hurdles. While incomplete, current evidence indicates the geometry tutor is guite effective. The Advanced Computer Tutoring Project has been working on the development of intelligent computerhased tutors for mathematics and science subjects in the range of senior highschool to junior college. This paper describes the general framework that we have developed and its instantiation in the case of a tutor tor generating proofs in geometry. First, we will describe the general philosophy of out tutoring efforts. Second, we will describe the basic structure of the geometry tutor that we have built. Third, we will describe the ongoing efforts to evaluate the tutor.